UNIVERSITY OF DAYTON LAW REVIEW VOLUME 34 WINTERNUMBER 2

Source URL: www.tapr.org

• Electronic engineering
• Software
• Engineering
• Electronic design automation
• Diagrams
• Electronic design
• Integrated circuits
• Open-source hardware
• Schematic capture
• PCB
• GEDA
• Electric

LNCSA Tutorial on Satisfiability Modulo Theories

Source URL: yices.csl.sri.com

• Theoretical computer science
• Mathematical logic
• Mathematics
• Constraint programming
• Automated theorem proving
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• DPLL algorithm
• Symbol
• Conjunctive normal form

The CREATE Signal Library (“Sizzle”): Design, Issues, and Applications Stephen Travis Pope and Chandrasekhar Ramakrishnan Center for Research in Electronic Art Technology (CREATE) University of California, Santa Barb

Source URL: fastlabinc.com

Course Outline
Basic Concepts in RF Design
Low-Noise Amplifiers
Mixers
Oscillators
Phase-Locked Loops

Source URL: www.ginogiusi.com

• Electronics
• Electronic engineering
• Electrical engineering
• Radio electronics
• Analog circuits
• Electronic design
• Low-noise amplifier
• Noise figure
• Feedthrough
• Gilbert cell
• Heterodyne
• Modulation

Integrating two Simulation Modules with a General Parallelization Framework David Charypar Fabian Märki Kay W. Axhausen

Source URL: www.strc.ch

• Digital electronics
• Electronic design automation
• Electronic engineering
• Simulation
• Scientific modeling
• Operations research
• PTV VISSIM
• Scientific modelling
• Traffic simulation
• Logic simulation
• Agent-based model
• Computer simulation

FREQUENCY OFFSET CORRECTION IN SPEECH WITHOUT DETECTING PITCH Pascal Clark, Sri Harish Mallidi, Aren Jansen, and Hynek Hermansky Human Language Technology Center of Excellence, Center for Language and Speech Processing J

Source URL: hltcoe.jhu.edu

• Signal processing
• Fourier analysis
• Electronic design
• Single-sideband modulation
• Amateur radio
• Integral transforms
• Modulation
• Frequency modulation
• Orthogonal frequency-division multiplexing
• Baseband
• Analytic signal
• Types of radio emissions

Electronic Developer für den Bereich Innovation Design Die HYVE Unternehmensgruppe ist ganzheitlicher Anbieter im Bereich Innovation und vereint hierzu die Kompetenzen Marktforschung, Design, Produktentwicklung und Soft

Source URL: www.vdid.de

A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com

Source URL: yices.csl.sri.com

• Theoretical computer science
• Logic
• Mathematics
• Constraint programming
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Simplex algorithm
• Satisfiability

AN10441 Level shifting techniques in I2C-bus design Rev. 01 — 18 June 2007 Application note

Source URL: www.nxp.com

• Electrical engineering
• Electromagnetism
• Electronic engineering
• IC
• Digital electronics
• Pull-up resistor
• MOSFET
• Field-effect transistor
• Logic level
• NXP Semiconductors
• Transistor
• NXP LPC

Different Strokes for Different Folks: Visual Presentation Design between Disciplines Steven R. Gomez, Radu Jianu, Caroline Ziemkiewicz, Hua Guo, and David H. Laidlaw Fig. 1. Principal components of electronic slides, ca

Source URL: users.cis.fiu.edu